Fairness for Infinite-State Systems Byron Cook1 , Heidy Khlaaf1 , and Nir Piterman2 1 University College London, London, UK University of Leicester, Leicester, UK

Source URL: heidyk.com

Complaints Policy of the University of Leicester Students’ Union Leicester Students’ Union views complaints as an opportunity to learn and improve for the future, as well as a chance to put things right for the perso

Source URL: s3-eu-west-1.amazonaws.com

On Recovering from Run-time Misbehaviour in ADR∗ Kyriakos Poyias Emilio Tuosto Department of Computer Science, University of Leicester, UK

Source URL: www.cs.unibo.it

Reversing Events - Joint work with Irek Ulidowski (University of Leicester) and Shoji Yuen (Nagoya University)

Source URL: www.ips.tu-braunschweig.de

What is Quality? Edmund Chattoe-Brown () University of Leicester http://www.simian.ac.uk

Source URL: cress.soc.surrey.ac.uk

TW:eed Tetrapod World: early evolution & diversification Newsletter No. 11, January 2016 August was the TW:eed Project’s Microfossil Month at the University of Leicester. With the help of eight volunteers,

Source URL: www.tetrapods.org

Length-Bounded Cuts and Flows GEORG BAIER Siemens THOMAS ERLEBACH University of Leicester ALEXANDER HALL

Source URL: kam.mff.cuni.cz

Synthesising qualitative and quantitative evidence Mary Dixon-Woods Department of Health Sciences University of Leicester

Source URL: www.evidencebasedpublichealth.de

TW:eed Tetrapod World: early evolution & diversification Newsletter No. 11, January 2016 August was the TW:eed Project’s Microfossil Month at the University of Leicester. With the help of eight volunteers,

Source URL: tetrapods.org

Logic, Computation and Constraint Satisfaction Barnaby D. Martin University of Leicester

Source URL: www.bedewell.com

• Computational complexity theory
• Logic
• Complexity classes
• Mathematical logic
• PSPACE
• FO
• Second-order logic
• P versus NP problem
• Constraint satisfaction problem
• NP
• P
• Constraint satisfaction